منابع مشابه
Detection of ancient settlement mounds – Archaeological survey based on the SRTM terrain model
In the present study we demonstrate the value of the SRTM 3 arc-second terrain model for a virtual survey of archaeological sites -the detection and localization of ancient settlement mounds in the Near East. These so-called "tells" are the result of millennia of settlement activity within the period from 8000-1000 BC, and form visible landmarks of the world’s first farming and urban communitie...
متن کاملLogic Characterization of Floyd Languages
Floyd languages (FL), alias Operator Precedence Languages, have recently received renewed attention thanks to their closure properties and local parsability which allow one to apply automatic verification techniques (e.g. model checking) and parallel and incremental parsing. They properly include various other classes, noticeably Visual Pushdown languages. In this paper we provide a characteriz...
متن کاملFloyd Languages for Infinite Words Linguaggi Di Floyd per Parole Infinite
Nowadays many software systems are designed to work without interruption: for instance operating systems are required to provide continuously their services to the users, and web applications and verification of critical and concurrent systems represent a typical scenario where endless computations are involved. The behavior of systems operating forever can be formally specified by means of ω-l...
متن کاملProgram Algebras with Monotone Floyd-Hoare Composition
In the paper special program algebras of partial predicates and functions are described. Such algebras form a semantic component of a modified Floyd-Hoare logic constructed on the base of a composition-nominative approach. According to this approach, Floyd-Hoare assertions are presented with the help of a special composition called Floyd-Hoare composition. Monotonicity and continuity of this co...
متن کاملVogt: 3D Characteristics of Fire Ant Mounds 553 THREE-DIMENSIONAL SAMPLING METHOD FOR CHARACTERIZING ANT MOUNDS
A field-portable 3D laser scanner was employed as a means of digitizing the surface of fire ant ( Solenopsis invicta Buren) mounds for analysis of shape and orientation in Mississippi and Oklahoma. Estimates of above-ground mound volume obtained through manual measurements of mound length, width, and height were higher and more variable than estimates obtained by summing the area underneath int...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1891
ISSN: 0028-0836,1476-4687
DOI: 10.1038/043213a0